The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
Lire la suiteS3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
Lire la suiteSharePoint 2007 Development Recipes offers a range of ready–to–use code recipes that provide the building blocks for ...
Lire la suiteIt combines instruction on concepts with real-world applications so that students can understand the practical usage of the ...
Lire la suiteSilverlight is a lightweight browser plug–in that frees your code from the traditional confines of the browser. It is a ...
Lire la suiteThis book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software ...
Lire la suiteThis book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Lire la suiteThe goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
Lire la suiteThis book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
Lire la suiteThe book deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, ...
Lire la suiteThis book includes : estimation models, measurement methodology, effort estimation, measurement programs, new approaches, ...
Lire la suiteThis book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
Lire la suiteThe objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Lire la suiteThis book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...
Lire la suiteSpring Recipes covers Spring 2.5 from basic to advanced, including Spring IoC container, Spring AOP and AspectJ, Spring data ...
Lire la suiteThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
Lire la suiteThis book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
Lire la suiteThis book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
Lire la suiteFast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...
Lire la suite